Free shipping on all orders! No minimum purchase required.
A Fascinating Country in the World of Computing
by Larry Wos
Automated Reasoning
by Larry Wos, Ross Overbeck, Ewing Lusk, Jim Boyle
